Belief Contraction as Nonmonotonic Inference
نویسنده
چکیده
A notion of an epistemic state is introduced as a generalization of common representations suggested for belief change. Based on it, we deene a new kind of nonmonotonic inference relation corresponding to belief contractions. A number of representation results is established, covering both traditional AGM contractions and contractions that do not satisfy recovery.
منابع مشابه
Nonmonotonic Reasoning and Multiple Belief Revision
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we de ne a nonmonotonic inference frame in which individual inference rules have been proposed in the literature but their combination as a system has not been investigated. It is shown that such a system is so strong that almost all the r...
متن کاملAlgebraic Belief Revision and Nonmonotonic Entailment: Results and Proofs
An algebraic approach to AGM belief revision and nonmonotonic entailment is defined. Results are stated and detailed proofs given. However this is not a survey article so the literature is not reviewed nor is there much reflective discussion. The algebra, PSEN, is a preboolean algebra whose elements are sets of sentences and whose order relation is restricted entailment. Restricted entailment i...
متن کاملAn Algebraic Approach to Belief Contraction and Nonmonotonic Entailment
The approach of Alchourrón, Gärdenfors and Makinson to belief contraction is treated algebraically. This is then used to give an algebraic treatment of nonmonotonic entailment in the context of a belief set. The algebra used is a preboolean algebra whose elements are sets of sentences and whose order relation is restricted entailment. Under plausible assumptions restricted entailment is computa...
متن کاملNonmonotonic Reasoning in Probabilistics
In probabilistics reasoning at optimum entropy ME reasoning has proved to be a most sound and consistent method for inference This paper investigates its properties in the framework of nonmonotonic reasoning In particular we show that ME reasoning satis es cumulativity and loop and we focus on its connection to conditionals Finally we intro duce the notion of a universal inference operation to ...
متن کاملA logical theory of nonmonotonic inference and belief change - numerical methods
Only for you today! Discover your favourite logical theory of nonmonotonic inference and belief change numerical methods book right here by downloading and getting the soft file of the book. This is not your time to traditionally go to the book stores to buy a book. Here, varieties of book collections are available to download. One of them is this logical theory of nonmonotonic inference and be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 65 شماره
صفحات -
تاریخ انتشار 2000